au.\*:("KOWALSKI RA")
Results 1 to 2 of 2
Selection :
RELIABILITY/MAINTAINABILITY. DEMONSTRATION/VERIFICATION.KOWALSKI RA.1974; EVAL. ENGNG; U.S.A.; DA. 1974; VOL. 13; NO 3; PP. 18-19; BIBL. 2 REF.Article
THE SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE.VAN EMDEN MH; KOWALSKI RA.1976; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1976; VOL. 23; NO 4; PP. 733-742; BIBL. 24 REF.Article